
#include <stdio.h>

void hello_world(char *s)
{
	printf("%s\n",s);
}
